#!/usr/bin/env sh

RELPATH=`dirname $0`
java -classpath "$CLASSPATH:$RELPATH/../bin/:$RELPATH/../lib/*" -enableassertions -Xmx768M -XX:+UseFastAccessorMethods org.sosy_lab.ccvisu.CCVisu $*
